منابع مشابه
Modal Logic and Algebraic Specifications
The established approaches to the semantics of algebraic (equational) speciications are based on a category-theoretic perspective. When possible interpretations are viewed as a category, the extreme points|the initial and nal algebras|present themselves as natural candidates for the canonical interpretation. However, neither choice provides a satisfactory solution for incomplete speciications o...
متن کاملAlgebraic Tools for Modal Logic
Monotone bounded distributive lattice expansions (DLMs) are boundeddistributive lattices augmented by nitary operations that are isotone orantitone in each coordinate. Such algebras encompass most algebras withbounded distributive lattice reducts that arise from logic, and general-ize bounded distributive lattices with operators. We de ne the canonicalextension for DLMs and ...
متن کاملDesigning dependable logic controllers using algebraic specifications
Formal methods can strongly contribute to improve dependability of logic controllers during design, by providing means to avoid flaws due to designers' omissions or specifications misinterpretations. This article presents a formal synthesis method that is aimed at obtaining the control laws of a logic system from specifications given in natural language. The formal framework that underlies the ...
متن کاملAlgebraic semantics of refinement modal logic
We develop algebraic semantics of refinement modal logic using duality theory. Refinement modal logic has quantifiers that are interpreted using a refinement relation. A refinement relation is like a bisimulation, except that from the three relational requirements only ‘atoms’ and ‘back’ have to be satisfied. We study the dual notion of refinement on algebras and present algebraic semantics of ...
متن کاملModal Logic and Mas Specifications Part 1 - Modal Syntax, Semantics, and Proof Theory
The field of the applications of modal logic to agency is considerable, and it would not be reasonable to be aiming at giving more than an overview of the basic techniques and applications. What we shall do is: • Study basic syntactical, semantical, and proof-theoretical notions of modal logic. • Survey basic concepts of epistemic logic (logic of knowledge), and more briefly doxastic logic (log...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1993
ISSN: 0304-3975
DOI: 10.1016/0304-3975(93)90187-x